# type predicate